BOXLET_RUNTIME=/home/Boxlet_RUNTIME
kill `cat $BOXLET_RUNTIME/Boxlet.pid`
kill `cat $BOXLET_RUNTIME/nginx.pid`
rm $BOXLET_RUNTIME/logs/*
rm $BOXLET_RUNTIME/*.pid